#include <iostream>
using namespace std;
int main()
{
	int m,n;
	cin>>m;
	cin>>n;
	int x=m*n/2;
	cout<<x;
	system("pause");
	return 0;
}